|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
|
|
Illustrative Example of Model-Based Design for Complex Aircraft Systems
Sopoušek, Radek ; Kovář, Jiří (referee) ; Janák, Luděk (advisor)
This bachelor's thesis is on the development of aviation systems, in particular their software, using model-based design (MBD) methods while maintaining recommended practices developed by the aviation industry and certification authorities (in particular RTCA DO-178C/331). The general MBD deployment options given by current aviation regulators and standards are described in the theoretical part of the work. Furthermore, this work describes what the process of developing software for a sub-segment of an aircraft system (altitude hold mode of autopilot software) could look like using the model-based design method. The overlap to the system development level (SAE ARP 4754A) is also partially addressed. The work includes an illustrative example in which system requirements were specified, software development through "Design model" and ensuring traceability between system requirements and model design.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Illustrative Example of Model-Based Design for Complex Aircraft Systems
Sopoušek, Radek ; Kovář, Jiří (referee) ; Janák, Luděk (advisor)
This bachelor's thesis is on the development of aviation systems, in particular their software, using model-based design (MBD) methods while maintaining recommended practices developed by the aviation industry and certification authorities (in particular RTCA DO-178C/331). The general MBD deployment options given by current aviation regulators and standards are described in the theoretical part of the work. Furthermore, this work describes what the process of developing software for a sub-segment of an aircraft system (altitude hold mode of autopilot software) could look like using the model-based design method. The overlap to the system development level (SAE ARP 4754A) is also partially addressed. The work includes an illustrative example in which system requirements were specified, software development through "Design model" and ensuring traceability between system requirements and model design.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Brushless dc motor control under power loss condition
Šedivý, Jozef ; Veselý, Libor (referee) ; Blaha, Petr (advisor)
Táto diplomová práca sa zaoberá implementáciou bezpečnostnej funkcie pre elektrický aktuátor, ktorá spočíva v riadení BLDC motora, po výpadku napájacieho napätia, keď je aktuátor poháňaný vstavanou pružinou.. Celé riadenie motora je navrhnuté v prostredí Matlab-Simulink technikou nazývanou návrh systému z modelu. Následne pomocou automatického generovania kódu bol získaný zdrojový kód, ktorý bol použitý v reálnom aktuátore a odtestovaný v reálnych podmienkach. Cieľom týchto testov bolo overiť reálnu možnosť nasadenia vyvinutých algoritmov v reálnych, komerčne dostupných produktoch.
|
guest ::
